1. Collegium Logicum: annals of the Kurt-Godel-Society
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
Classification :
QA
9
.
A1
C58
2. Collegium logicum : annals of the Kurt-Godel society
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Periodicals ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C64
